home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / src / cmds / checkIPServer / RCS / checkIPServer.man,v < prev   
Encoding:
Text File  |  1990-11-13  |  1.4 KB  |  67 lines
  1. head     1.1;
  2. branch   ;
  3. access   ;
  4. symbols  ;
  5. locks    ; strict;
  6. comment  @@;
  7.  
  8.  
  9. 1.1
  10. date     90.11.12.18.01.40;  author kupfer;  state Exp;
  11. branches ;
  12. next     ;
  13.  
  14.  
  15. desc
  16. @@
  17.  
  18.  
  19.  
  20. 1.1
  21. log
  22. @Initial revision
  23. @
  24. text
  25. @'\" Copyright 1990 Regents of the University of California
  26. '\" Permission to use, copy, modify, and distribute this
  27. '\" documentation for any purpose and without fee is hereby
  28. '\" granted, provided that this notice appears in all copies.
  29. '\" The University of California makes no representations about
  30. '\" the suitability of this material for any purpose.  It is
  31. '\" provided "as is" without express or implied warranty.
  32. '\" 
  33. '\" $Header: /sprite/lib/forms/RCS/cmd.man,v 1.2 90/02/20 17:11:01 douglis Exp $ SPRITE (Berkeley)
  34. '/" 
  35. .so \*(]ltmac.sprite
  36. .HS CHECKIPSERVER cmds
  37. .BS
  38. '\" Note:  do not modify the .SH NAME line immediately below!
  39. .SH NAME 
  40. checkIPServer \- make sure IP server is running
  41. .SH SYNOPSIS
  42. \fBcheckIPServer\fR [\fIoptions\fR]
  43. .SH OPTIONS
  44. .IP "\fBmail\fR" 15
  45. Send mail to 
  46. .B spriters
  47. if a problem was found.
  48. .BE
  49.  
  50. .SH DESCRIPTION
  51. .PP
  52. This script is normally run via
  53. .BR cron .
  54. It checks that the IP server exists and is not in the debugger.  If
  55. that test fails, it invokes a script that kills off the IP server and any
  56. dependent daemons and restarts them all.
  57. .PP
  58. If 
  59. .B /hosts/$HOST/restartIPServer
  60. exists, that script is used as the ``restart'' script.  Otherwise, 
  61. .B /sprite/admin.$MACHINE/restartIPServer 
  62. is used.
  63.  
  64. .SH KEYWORDS
  65. IP server
  66. @
  67.